Production Code Generation And Verification For The Automotive Industry